//
//  TriggerManager
//
//  Created by Caue W. on 2011-03-08.
//  Copyright (c) 2011 __MyCompanyName__. All rights reserved.
//
package time.compiler;

interface TriggerManager 
{
	
}